algebraic specification - Turco Inglés Diccionario